Abstracts Fun is in doing together
نویسندگان
چکیده
Fun is in doing together Anu Mäkelä, Pia Kurimo, Katja Battarbee Helsinki University of Technology P.O. Box 9555, FIN-02015 HUT
منابع مشابه
Identifying Factors Affecting Fun in Workplace with Ethnography Approach
The purpose of this study is to identifying factors affecting Fun in Workplace in Army Physical Training Corps.The study type is developmental and mix method and to extract factors, ethnography methodology that is a qualitative method was used. To extract factors, ethnography methodology was used. Statistical population in this study consists of Army Physical Training Corps. In quantitative sec...
متن کاملIncreasing or decreasing interest in activities: the role of regulatory fit.
What makes people's interest in doing an activity increase or decrease? Regulatory fit theory (E. T. Higgins, 2000) provides a new perspective on this classic issue by emphasizing the relation between people's activity orientation, such as thinking of an activity as fun, and the manner of activity engagement that the surrounding situation supports. These situational factors include whether a re...
متن کاملSharing Experiences over Video: Watching Video Programs together at a Distance
While video communication is becoming quite popular among remote friends and family, recent usage practices have been extending beyond just talking heads to remotely sharing an experience by doing an activity together. However, current video chat tools are aimed at sharing talking heads and need to be reconsidered to support remotely sharing activities. We explore a specific remote shared activ...
متن کاملDesigning a Theorem Prover
ion, and substitution is simple: fun replace_term (u,new) t = if t=u then new else case t of Fun(a,ts) => Fun(a, map (replace_term(u,new)) ts) | _ => t; fun abstract t = let fun abs i (Pred(a,ts)) = Pred(a, map (replace_term (t, Bound i)) ts) | abs i (Conn(b,As)) = Conn(b, map (abs i) As) | abs i (Quant(q,b,A)) = Quant(q, b, abs (i+1) A) in abs 0 end; fun subst_bound t = let fun subst i (Pred(a...
متن کاملFormalising Bitonic Sort using Dependt Types
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 Dependently Typed Programming was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ...
متن کامل